A standard representation of imperative language programs for data collection and software measures specification
نویسندگان
چکیده
منابع مشابه
A Standard Representation of Imperative Language Programs
Numerous research results in the areas of software measures and software tools are predicated on a particular programming language, or on some characterizations of a programming language. For example, numerous software measures have been de ned only for structured programming languages and several of the reported approaches to program testing de ne a speci c language. However, this proliferatio...
متن کاملSYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs
In this paper, we describe SymDiff, a language-agnostic tool for equivalence checking and displaying semantic (behavioral) differences over imperative programs. The tool operates on an intermediate verification language Boogie, for which translations exist from various source languages such as C, C# and x86. We discuss the tool and the front-end interface to target various source languages. Fin...
متن کاملa new algorithm and software of individual life insurance and annuity computation
چکیده ندارد.
15 صفحه اولAutomatically Calculating Quantitative Integrity Measures for Imperative Programs
This paper presents a framework for calculating measures of data integrity for programs in a small imperative language. We develop a Markov chain semantics for our language which calculates Clarkson and Schneider’s definitions of data contamination and suppression. These definitions are based on conditional mutual information and entropy; we present a result relating them to mutual information,...
متن کاملOnline survey software as a data collection tool for medical education: A case study on lesson plan assessment
Background: There are no general strategies or tools to evaluate daily lesson plans; however, assessments conducted using traditional methods usually include course plans. This study aimed to evaluate the strengths and weaknesses of online survey software in collecting data on education in medical fields and the application of such softwares to evaluate students' views and modification of lesso...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Systems and Software
سال: 1988
ISSN: 0164-1212
DOI: 10.1016/0164-1212(88)90041-6